ln2x differentiation